tag: ai-research
articles: 2 · beats: 2
latest: November 6, 2026
---
AI Research
2 Crashtech articles on AI Research, spanning Ai Science and How AI Actually Works, published between August 2026 and November 2026. Every piece is full-text HTML with sources, structured data and an authored FAQ.
They span Ai Science (1), How AI Actually Works (1). Ai Science How AI Actually Works
PAPERBENCHX Tests Whether AI Can Rebuild Evidence, Not Just Explain a Paper
A 93-task benchmark across scientific fields finds a large gap between AI agents running parts of an experiment and reproducing its evidence.
OpenAI's Astra Model Solved 10 Open Math Problems — With Machine-Verified Proofs
OpenAI's Astra solved 10 longstanding open math problems with fully verified Lean 4 proofs and zero unproven steps. Total compute cost: roughly $2,000.
Questions we answer about AI Research
- What does PAPERBENCHX measure?
- Did agents fully reproduce most PAPERBENCHX tasks?
- Does a benchmark score predict scientific discovery in the lab?
- What open math problems did OpenAI's Astra model solve?
- What is a Lean proof and why does it matter for AI math?
- How much did it cost OpenAI to solve these math problems with Astra?
- Is Astra publicly available?
- What is a non-sofic group and why was it an important open problem?
Frequently asked questions
What does Crashtech publish about AI Research?
2 articles tagged AI Research, the most recent published November 6, 2026. They span Ai Science (1), How AI Actually Works (1). Each carries numbered sources, an authored FAQ and full structured data.
What questions about AI Research does Crashtech answer directly?
8 questions have a dedicated answer page under this tag, including “What does PAPERBENCHX measure?”. Each answer is authored prose from the article it belongs to, not a generated summary.
Can AI assistants read Crashtech's AI Research coverage?
Yes. Crashtech serves full static HTML to every crawler, allows all major AI user agents in robots.txt, and publishes an llms.txt manifest plus a full-text corpus, so assistants can retrieve and cite these articles directly.